Books by author Manuel Clavel

Showing 1 – 3 out of 3 results

1. 

   All About Maude - A High-Performance Logical Framework

   Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln | Springer, Berlin, 2007

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Hardback

   99.40 €

   Buy
2. 

   Reflection in Rewriting Logic

   Manuel Clavel | Centre for the Study of Language & Information, 2000

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   72.46 €

   Buy
3. 
   Pre-order

   Reflection in Rewriting Logic

   Manuel Clavel | Centre for the Study of Language & Information, 2000

   
   

   Reprint - Date unknown

   Language: English

   Binding: Paperback

   34.31 €

   Pre-order

Returning customers have discounts and benefits. Find out more